翻訳と辞書 |
Constructive non-standard analysis : ウィキペディア英語版 | Constructive non-standard analysis In mathematics, constructive nonstandard analysis is a version of Abraham Robinson's non-standard analysis, developed by Moerdijk (1995), Palmgren (1998), Ruokolainen (2004). Ruokolainen wrote: :The possibility of constructivization of nonstandard analysis was studied by Palmgren (1997, 1998, 2001). The model of constructive nonstandard analysis studied there is an extension of Moerdijk’s (1995) model for constructive nonstandard arithmetic. ==See also==
*Smooth infinitesimal analysis *John Lane Bell
抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Constructive non-standard analysis」の詳細全文を読む
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|